41. Lectures on non-standard analysis
پدیدآورنده : Machover, Moshe
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical,، Uniform spaces
رده :
QA
3
.
L28
no
.
94
42. Logic and combinatorics
پدیدآورنده : [Edited by]& Stephen G. Simpson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Logic symbolic and mathematical - Congresses,Combinatorial analysis - Congresses
رده :
QA
,
9
,.
A1A47
43. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
پدیدآورنده :
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Combinatorial analysis-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
44. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
پدیدآورنده : Stephen G. Simpson, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Combinatorial analysis
رده :
QA
9
.
A1A66
1985
45. Mathematics of Ramsey Theory
پدیدآورنده : edited by Jaroslav Nešetřil, Vojtěch Rödl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis.,Logic, Symbolic and mathematical.,Mathematics.
46. Mutational and Morphological Analysis
پدیدآورنده : by Jean-Pierre Aubin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Global analysis (Mathematics).,Logic, Symbolic and mathematical.,Mathematics.
47. Non-standard analysis
پدیدآورنده : Robinson, Abraham
موضوع : ، Nonstandard mathematical analysis,، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
48. Non-standard analysis
پدیدآورنده : Robinson, Abraham
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Nonstandard mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
R6
1974
49. Non-standard analysis
پدیدآورنده : / Abraham Robinson revised edition
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Mathematical analysis - Congresses,Logic, symbolic and mathematical - Congresses
رده :
515
R658
1974
50. Nonstandard logics and nonstandard metrics in physics
پدیدآورنده : Honig, William M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Nonstandard mathematical analysis,، Logic, Symbolic and mathematical,، Metric spaces,، Mathematical physics
رده :
QC
20
.
7
.
A5
.
H66
1995
51. Ontology and the Iogisfc analysis of language; an enquiry into the contemporary views on Universals. Rev ed
پدیدآورنده : Kung, Guido
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Semantics )Philosophy(,، Analysis )Philosophy(,، Logic, Symbolic and mathematical
رده :
B
840
.
K813
52. Ontology and the logistic analysis of language. An enquiry into the contemporary views on universals
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Semantics )Philosophy(,، Analysis )Philosophy(,، Logic, Symbolic and mathematical
رده :
B
840
.
K813
53. Propositions, functions, and analysis : selected essays on Russell's philosophy
پدیدآورنده : Hylton, Peter
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Russell, Bertrand, 2781-0791,History -- 02th century ، Analysis )Philosophy(,History -- 02th century ، Logic, Symbolic and mathematical
رده :
B
1649
.
R94H94
54. Propositions, functions, and analysis :selected essays on Russell's philosophy
پدیدآورنده : Hylton, Peter.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Russell, Bertrand,2781-0791,History ، Analysis )Philosophy( - 02th century,History ، Logic, Symbolic and mathematical - 02th century
رده :
B1649
.
R94
H94
2005
55. Qualitative spatial and temporal reasoning
پدیدآورنده : Gérard Ligozat.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Qualitative reasoning.,Space and time-- Mathematical models.,Spatial analysis (Statistics)
رده :
Q339
.
25
.
L54
2012eb
56. Reading, Writing, and Proving :
پدیدآورنده : by Ulrich Daepp, Pamela Gorkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Global analysis (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Number theory.,Mathematical Logic and Foundations.,Mathematics.,Number Theory.,Analysis.,Global analysis (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Number theory.
رده :
QA8
.
9-10
.
3
57. Schaum s outline of theory and problems of discrete mathematics
پدیدآورنده : Lipschutz, Seymour
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Algebra, Abstract - Outlines, syllabi, etc , Combinatorial analysis - Outlines, syllabi, etc , Logic, Symbolic and mathematical - Outlines, Syllabi, etc
رده :
QA
162
.
L5
1997
58. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : / Seymour Lipschutz, Marc Lars Lipson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebra, Abstract, Outlines, syllabi, etc,Combinatorial analysis, Outlines, syllabi, etc,Logic, Symbolic and mathematical, Outlines, syllabi, etc
رده :
QA162
.
L56
1997
59. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : / Seymour Lipschutz, Marc Lars Lipson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA162
.
L56
1997
60. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : / Seymour Lipschutz, Marc Lars Lipson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA162
.
L56
1997
